@book{finite-domains,
	author = {Erich Gr\"{a}del and P. G. Kolaitis and L. Libkin and M. Marx and J. Spencer and Moshe Y. Vardi and Y. Venema and Scott Weinstein},
	title = {Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)},
	year = {2005},
	isbn = {3540004289},
	publisher = {Springer-Verlag New York, Inc.},
	address = {Secaucus, NJ, USA},
}

@inproceedings{entailment,
 author = {Bj\"{o}rn Carlson and Mats Carlsson and Daniel Diaz},
 title = {Entailment of finite domain constraints},
 booktitle = {Proceedings of the eleventh international conference on Logic programming},
 year = {1994},
 isbn = {0-262-72022-1},
 pages = {339--353},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@misc{mozart-oz,
	howpublished = "\url{http://www.mozart-oz.org/home/doc/system/node14.html}",
}

@misc{erlang,
	howpublished =
		"\url{http://www.erlang.se/publications/xjobb/finite-domain-erlang.ps.gz}"},
}

@misc{GNU-Prolog,
	howpublished = "\url{http://www.gprolog.org/}",
}

@misc{Scala,
	howpublished = "\url{http://www.scala-lang.org}",
}
